HF dimer: a new full-dimensional potential energy surface validated by rigorous 6D quantum calculations of HF-stretch excited intra- and intermolecular vibrational states and tunneling splittings