Oxygenic photosynthesis and the oxidation state of Mars.