Numerical simulation of the interaction processes between snow cover and alpine permafrost