How Incomputable is the Separable Hahn-Banach Theorem?