Robotic chemist discovers how to make oxygen from Martian minerals