An optimization model of mine gas cogeneration system based on carbon capture and storage technology | Synapse