Dispatch of a coal mine-integrated energy system: Optimization model with interval variables and lower carbon emission | Synapse