Text this: Network Design Mode of In-Seam Gas Extraction Parameters Using Mathematical Modelling—Take Tangan Colliery as an Example