坑深的施工允许误差为（ ）mm。