Detail filtering in geographic information visualization