BNDES faz empréstimo de R$ 7,3 bilhões à Vale