EPB-TBM cutterhead torque and thrust modelling in rock tunnels through an analytical method and TSFS model | Synapse