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