Analytical model to predict unfrozen water content based on the probability of ice formation in soils