added verlet integration