qual pais e o principal produtor mundial de diamantes