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