Ozone production during thunderstorms, measured by the absorption of ultraviolet radiation from lightning