Spectroscopy of H3+ and its deuterated isotopologues