Assessing the Safe Development Potential of Gravity Energy Storage in Mining Goafs by Coupling Time-Series InSAR and GIS: A Case Study of Yangquan, China | Synapse