Where is carbon dioxide produced in the mitochondrion?