Text this: Impact of using auxiliary fans on coal mine ventilation efficiency and cost /