Arrecadação federal tem alta real de 8,97% em julho e atinge recorde para o mês, mostra Receita