o setor mineração de diamantes