Rib Spalling 3DModel for Soft Coal Seam Faces with Large Mining Height in Protective Seam Mining: Theoretical and Numerical Analyses