Simulating evaporative wet and dry cycles in Gale crater, Mars using thermochemical modeling techniques.