collisions and verlet integration