Modeling and experiment for effective diffusion coefficient of gas in water-saturated coal