Modeling the Martian Seasonal C02 Cycle