Nokia acquires digital mapmaker Navteq for $5.7 bn