What is the colligative property that means a solution typically has a measurably lower freezing point than a pure solvent alone?