Text this: Study on technology and effect of gas extraction in horizontal well with segmental hydraulic fracture in roof of coal seam in Huainan mining area