Mining, a threat to reindeer herding?