Modeling the effect of water vaporization and salt precipitation on reservoir properties due to carbon dioxide sequestration in a depleted gas reservoir