Polynomial Hierarchy, Betti Numbers, and a Real Analogue of Toda's Theorem