Numerical analysis of application limits of Vyalov’s formula for an ice-soil thickness