IR 2023: Receita paga R$ 116 milhões para 72 mil contribuintes do Vale no 1º lote de restituição