Which gas is used in the laboratory to test for the presence of carbon dioxide?