Infrared spectrum of dinitrogen tetroxide