Creating digital editions of historical maps