Stav dette: Optimizing Mine Ventilation Systems: An Advanced Mixed-Integer Linear Programming Model