Text this: IUPAC critical evaluation of the rotational–vibrational spectra of water vapor. Part II. Energy levels and transition wavenumbers for HD16O, HD17O, and HD18O