Editing historical maps: comparative cartography using maps as tools