Detection of O2 dayglow emission from Mars and the Martian ozone abundance