. "That industry mines large rocks and similar materials, andprocesses them into materials for roads, buildings, and other infrastructure." . . .