If the surface of Mars was densely populated with plant life/algae, how long would it take for oxygen levels to reach habitable levels?