a redesign of the map .