Mechanism of rupture of shaft linings in coal mine areas buried by thick over-soils in East China | Synapse