Representation of the carbon cycle in box models and GCMs: 1. Solubility pump