Brazil's BNDES raised $1.5 billion with sale of Vale shares: source