what is produced during the krebs cycle