Numerical modeling of permafrost dynamics in Alaska using a high spatial resolution dataset