Semi-supervised Contextual Historical Text Normalization