Verification of geophysical models in Alpine permafrost using borehole information