The strength of the Hahn-Banach theorem