Optimization Method of Mine Ventilation Network Regulation Based on Mixed-Integer Nonlinear Programming | Synapse