Arrecadação federal chega a R$ 171,27 bilhões em julho