弧形闸门门体表面凹坑深度大于（ ）应焊补。