请解释一下「隧洞衬砌」这个词的含义。