Text this: Analysis on Subsidence Law of Bedrock and Ultrathick Loose Layer Caused by Coal Mining