Application of Pre-Splitting and Roof-Cutting Control Technology in Coal Mining: A Review of Technology