Velocity Verlet integration