BNDES tem lucro de R$ 8,73 bilhões no terceiro trimestre