Title: A history of the development of mine ventilation