Vibrationally excited states of NC4P: millimetre-wave spectroscopy and coupled cluster calculations.