R7. Introduction to Hamiltonian Monte Carlo