Probabilistic road classification in historical maps using synthetic data and deep learning