How many immigrants are in the American workforce?