An Introduction to Hamiltonian Monte Carlo