Aqueous electrolyte thermodynamics, phase diagrams, and process simulation/optimization for binary electrolyte solutions