Who proved  that green plants produc oxygen by photosynthesis?