A thermodynamic model for calculating the unfrozen water content of frozen soil