Ab initio rotation-vibration energies of H3O+