岩石洞是怎么形成的