Arrecadação federal tem alta de 8,2% em agosto e atinge R$ 172,3 bilhões