Performance evaluation of carbon-dioxide sensors used in building HVAC applications