Modeling the Martian seasonal CO2 cycle 1. Fitting the Viking Lander pressure curves