The isotropic-to-nematic phase transition in hard helices: Theory and simulation