Text this: Predicting Overburden-Induced Failure Height of Large Mining Face in Shallow Coal Seam Based on Half-Plane Theory