BNDES tem lucro recorde de R$12,9 bilhões no primeiro trimestre