Simulation and On-Site Detection of the Failure Characteristics of Overlying Strata under the Mining Disturbance of Coal Seams with Thin Bedrock and Thick Alluvium | Synapse