rock quarry and mining industry