Arrecadação federal alcança R$ 1,142 trilhão em 2023