Математическое моделирование динамики мощности многолетнемерзлых пород при наличии фильтрующего горизонтастатья