Measurement of the gas temperature in fluorocarbon radio frequency discharges using infrared absorption spectroscopy