砌石勾缝的作业方法开缝凿毛，剔除石缝中的旧砂浆，剔进深度不小于（ ）。