Text this: A Calculation Model of Cutterhead Resistance for Pipe Jacking in Rock Strata and Soil–Rock Composite Strata