Research Progress and Prospects of Methods for Estimating Methane Reserves in Closed Coal Mines in China | Synapse