Numerical and Experimental Studies of Diffusion Law of Grouting with Expansible Polymer