A guide to information sources in mining, minerals, and geosciences