Diamond mining firm De Beers' revenues will be about 3.4 billion dollars in 2020.