Modeling Carbon Sequestration in the Illinois Basin Using a Vertically-Integrated Approach