Argumentation Mining (Synthesis Lectures on Human Language Technologies)