Modeling ion exchange equilibrium: Analysis of exchanger phase non-ideality