The Hypoelliptic Laplacian: An Introduction