mine ventilation and occupational health and safety