The Heisenberg group: geometry, analysis, and number theory