A review of monitoring, calculation, and simulation methods for ground subsidence induced by coal mining | Synapse