Nitric oxide production in collisions of hot O(3P) atoms with N2: NITRIC OXIDE PRODUCTION