BNDES tem lucro recorde de R$ 9,2 bi no primeiro semestre