Roll-back Hamiltonian Monte Carlo