Text this: Deep learning-based extraction of Kenya’s historical road network from topographic maps