How Global Metals and Mining Can Trim GHG Emissions While Boosting Throughput and Profits