施工规范规定的砖墙竖向灰缝宽度为( )。