Физическая постановка задачи для численной модели промерзания и пучения грунтов учетом тепломассопереноса и ее верификация сстатья