Natural Language Processing for Historical Texts (Synthesis Lectures on Human Language Technologies)