Mine ventilation and safety