Text this: A case study on TBM cutterhead temperature monitoring and mud cake formation discrimination method