BNDES prevê R$34 bi para leilão de baterias, mas mais recursos serão necessários, diz executivo