隧道洞顶有沟谷通过，且沟底有渗漏时，应采用圬工铺砌，铺砌厚度一般不小于( )。