钻孔桩在岩石地层中钻进施工时，钻头直径磨损超过（） mm时，宜及时更换修补。