Dynamic subsidence basins in coal mines based on rock mass rheological theory