A comparison of measurements from ATMOS and instruments aboard the ER-2 aircraft: Halogenated gases