Microsoft wants to better compete against Google Maps with Nokia's HERE apps