MILP-Based Approach for High-Altitude Region Pavement Maintenance Decision Optimization | Synapse