Modeling and Application of Gas Pressure Measurement in Water-Saturated Coal Seam Based on Methane Solubility