A miniaturized carbon dioxide gas sensor based on infrared absorption