隧道遇到溶洞时的工程对策