Satellite-Derived Approaches for Coal Mine Methane Estimation: A Review | Synapse