Exportação de diamantes em Angola cai 2,8% para 711,7 milhões USD no 1º semestre de 2023