Arrecadação federal cresce 7,25% e bate recorde em agosto