Positive Curvature and Hamiltonian Monte Carlo