mining : how much gold is left in the world?