Molality, Freezing point depression