Permafrost in the Gruve-7 mine, Adventdalen, Svalbard