Artificial intelligence helps classify new craters on Mars