Chinese “machine chemist” successfully develops Mars oxygen production catalyst