Text this: Study of the Law of Hydraulically Punched Boreholes on Effective Gas Extraction Radius under Different Coal Outputs