Infrared spectroscopic measurements of halogenated source gases in the stratosphere with the ATMOS instrument