Network Embedding: Theories, Methods, and Applications (Synthesis Lectures on Artificial Intelligence and Machine Learning)