Multi-fidelity Hamiltonian Monte Carlo