Carbon dioxide sensor