Thermo-mechanical simulation of frost heave in saturated soils