BNDES registra lucro de R$ 19 bilhões até setembro