Infrarooi gas sensors