what is produced during the Krebs cycle