To power AI, Khosla and a16z bet this startup can reinvent mining Mariana Minerals is now valued at $1.5 billion.