石灰岩层中溶洞形成的原理是利用二氧化碳的哪个性质?