Text this: Optimization of mine ventilation fan speeds according to ventilation on demand and time of use tariff