How many molecules of ATP are needed to reduce one molecule of carbon dioxide to carbohydrate by oxygenic phototrophs during the dark reactions of photosynthesis?