Underground opening and support facilities of the Edgar Experimental Mine, Idaho Springs, Colorado