AI helped a mining startup backed by Jeff Bezos and Bill Gates find a major copper deposit