Large haptic topographic maps: marsview and the proxy graph algorithm