Exportações brasileiras batem recordes em julho e no acumulado do ano