A model of soils freezing with allowance for freezing zone