提出导管前应对孔内混凝土灌注面高度进行测量，桩顶超灌高度应不小于（）m。