Invia SMS: Optimizing Mine Ventilation Systems: An Advanced Mixed-Integer Linear Programming Model