Expanded integration.tex, shortened intro, fixed labels and changed markup of formulas in collisions.tex