4.1 岩石隧道开挖及衬砌