Unitary Colligations, Reproducing Kernel Hilbert Spaces, and Nevanlinna–Pick Interpolation in Several Variables