Phase diagrams and thermochemical modeling of salt lake brine systems. IV. Thermodynamic framework and program implementation for multicomponent systems. (December 2020)