Formal analysis of electrogenic sodium, potassium, chloride and bicarbonate transport in mouse colon epithelium