KoBold used AI to find copper — now investors are piling in to the tune of $537M