Harmonic analysis on the Heisenberg nilpotent Lie group, with applications to signal theory