With the Correios crisis, the government sees a deficit of R$9.208 billion in state-owned companies in 2025