Escherichia coli cad operon functions as a supplier of carbon dioxide