Laboratory investigation of the reaction NO++ O3→ NO2++ O2