Carbon dioxide detectors