Mining industry news covering mineral extraction, mining companies, commodities, and global mining sector developments.