Caldeira–Leggett model vs ab initio potential: A vibrational spectroscopy test of water solvation