Modeling carbon sequestration in the Illinois Basin using a vertically-integrated approach