Prediction and analysis of slurry shield TBM disc cutter wear and its application in cutter change time