施工过程中遇到溶洞的处理措施