隧道洞口应设置洞门。洞门端墙与仰坡之间的水沟底至衬砌拱顶外缘的厚度不宜小于( )m。