تگ: An Invitation to Discrete Homotopy Theory