Edge Intelligence in the Making: Optimization, Deep Learning, and Applications (Synthesis Lectures on Learning, Networks, and Algorithms)