Structure-preserving and helicity-conserving finite element approximations and preconditioning for the Hall MHD equations