Added appendix on Verlet algortihm, added more to soft-sphere DEM section