Nokia to buy Navteq for $8.1B