顶管顶进过程中，管壁与土层接触面之间的摩擦力与垂直于接触面上的作用力（法向力）的大小成（）。