Charles T. Holland, Dean School of Mines, West Virginia University