Text this: The mechanistical principles and engineering application of roof- cutting for roadway protection in advance of the working face.