Data mining: How digging through big data can turn up new mineral deposits