Monitoring Arctic permafrost with satellites, supercomputers and deep learning