Arrecadação federal em maio atinge recorde histórico de R$ 230 bilhões