In situ investigations into mining-induced hard main roof fracture in longwall mining: A case study. (December 2019)