Velocity verlet implemented