Text this: Numerical analysis of application limits of Vyalov�s formula for an ice-soil wall thickness