German carmakers strike $3.1 billion deal to buy Nokia's HERE mapping business