Practical Coal Mining: A Manual for Managers, Under-Managers, Colliery Engineers, and Others