Velocity Verlet implemented