Text this: Coal and Gas Comining in the High-Gas Detong Mine, China: Analytical and Numerical Parameter Optimization of Gas Extraction Boreholes