Прозоров. Моделирование процесса замораживания горных пород в условиях движения подземных вод