Semi-automated extraction of information from large-scale historical maps