A treatise on coal mining