Mines President Paul C. Johnson and several other stakeholders hold shovels in the dirt where a new residence hall is to be built on campus