Theory of Multicomponent Phenomena in Cation-Exchange Membranes: Part I. Thermodynamic Model and Validation