Which carbon dioxide sensor should I buy?