Methane production via anaerobic digestion in coal reservoirs with the participation of supercritical carbon dioxide | Synapse