Combinatory Categorical Grammars for Robust Natural Language Processing (Synthesis Lectures on Human Language Technologies)