Rectifiability and Lipschitz extensions into the Heisenberg group