Energies and properties of ions involved in electrophilic halogenations: singlet and triplet states of halogen cations (X+, X3+, and X42+) and hydrohalonium ions (HX2+ and H2X+)