Quality Estimation for Machine Translation (Synthesis Lectures on Human Language Technologies)