The spatiotempora variations rules of Songzao coal mining subsidence based on numerical simulation