Verlet integration