Velocity Verlet integrator