On the synergy of matrix-isolation infrared spectroscopy and vibrational configuration interaction computations