Analysis of Hydro-fracturing Technique Using Ultra-deep Boreholes for Coal Mining with Hard Roofs: a Case Study