Carbon dioxide sensors