岩溶溶洞的形成是什么外力作用