Post-mining earthquakes and changes in observed vertical ground displacements during the period of mine flooding | Synapse