溶洞形成的化学方程式是啥?