Arrecadação federal cresce 4,6% em julho e bate recorde para o mês