Laboratory spectroscopy and astronomical significance of the fully-benzenoid PAH triphenylene and its cation