Modeling Options to Answer Practical Questions for CO2 Sequestration Operations