Proxemic Interactions: From Theory to Practice (Synthesis Lectures on Human-Centered Informatics)