Verlet integration, Springs, Ball collision