Exportação de minério do Brasil cai 6,6% em volume em julho; receita mais que dobra