A first-principles theoretical study of hydrogen-bond dynamics and vibrational spectral diffusion in aqueous ionic solution: Water in the hydration shell of a fluoride ion