Arrecadação federal cresce 9,55% e chega a R$ 231,04 bilhões em julho