how are solution caves formed