Infrared heterodyne spectroscopy of atmospheric ozone