Text this: Experimental study on optimization of pipe jacking mud mixture ratio based on MICP technology