Text this: Stochastic Optimization Scheduling Method for Mine Electricity–Heat Energy Systems Considering Power-to-Gas and Conditional Value-at-Risk