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