Email Record: Summary of selected injury experience and worktime for the mining industry in the United States, 1931-77 /