time used of the us mining industry