What is a mine’s main output? Minerals would be the first, obvious answer: there are mines around the globe producing thousands or even millions of tons of minerals. So far, so good. But what else?…