Quantifying CH 4 emissions in hard coal mines from TROPOMI and IASI observations using the wind-assigned anomaly method | Synapse