Permafrost dynamics