Aqueous electrolyte thermodynamics, phase diagrams, and process simulation/optimization for quaternary electrolyte mixtures