Embeddings in Natural Language Processing: Theory and Advances in Vector Representations of Meaning (Synthesis Lectures on Human Language Technologies)