Modeling frost heave in freezing soils