Path-integral Monte Carlo simulation of $ν$ 3 vibrational shifts for CO 2 in (He) n clusters critically tests the He–CO 2 potential energy surface