Former Cat chairman and CEO enters National Mining Hall of Fame at MINExpo