Text this: An Introduction to the Heisenberg Group and the Sub-Riemannian Isoperimetric Problem