Norway’s last Arctic miners struggle with coal mine’s end