Machine learning for information extraction from topographic maps