Calculation method for the formation time of dynamic filter cake in slurry shield tunneling