How incomputable is the separable Hahn-Banach Theorem?