Artificial intelligence identifies 6,000 new craters on the Moon