CO2 migration modeling