Halogen Bond of Halonium Ions: Benchmarking DFT Methods for the Description of NMR Chemical Shifts