Experiences of gripper TBM application in shaft coal mine: A case study in Zhangji coal mine, China. (November 2018)