Mining increases exports in the 1st half of the year and helps avoid a greater drop in the Brazilian trade balance