Describir: Mine ventilation network optimization using nonlinear programming techniques