BNDES tem lucro de R$ 3,124 bilhões no terceiro trimestre de 2015