Assessment of thermal stabilization measures based on numerical simulations at a Swiss alpine permafrost site | Synapse