“The U.S. mining industry has experienced 35 years of meaningful attrition in its labor pool.”