Markov Chain Monte Carlo from Lagrangian Dynamics