Recognizing Textual Entailment: Models and Applications (Synthesis Lectures on Human Language Technologies)