Calculation of the settlement of thawing soil