Experimental validation of a unified formula for limiting support pressure incorporating cutterhead‒soil interaction on sandy‒gravel composite strata irrespective of stratification sequence