Microsoft may have offered to buy part of Nokia's HERE maps division