Optimizing Mine Ventilation Systems: An Advanced Mixed-Integer Linear Programming Model - Zhong Deyun (Mathematics, 2025)