Thermodynamics of an ideal solution / free energy of mixing