The role of oxidation states in F A1 Tl n+ ( n = 1, 3) lasers and CO interactions at the (1 0 0) surface of NaCl: An ab initio study