FT-IR study of the surface redox states on platinum-potassium-alumina catalysts