A vertically integrated model with vertical dynamics for CO2 storage