WSJ: Audi, BMW, and Daimler agree to buy Nokia's HERE mapping business for around $2.7 billion