Mine subsidence monitoring and prediction integrating SBAS-InSAR technology and BO-Prophet model | Synapse