Irreducibility and geometric ergodicity of Hamiltonian Monte Carlo