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