二氧化碳地質封存之數值模擬:部分可互溶界面、礦化反應與機器學習