Mining, including mining arithmetic, examples for mining students, and the theory and practice of mine ventilation