Astronomers use artificial intelligence to spot 6,000 new craters on the Moon