Tanzanian president Magufuli’s record mining fine is a warning to the global extractive industry