Text this: Research on Quantitative Analysis Method of Infrared Spectroscopy for Coal Mine Gases