Infrared gas sensors