A practical treatise on the working and ventilation of coal mines [electronic resource] : with suggestions for improvements in mining / by John Hedley