Text this: An industry perspective on the current U.S. metal mining engineering education.