Which industry type does the quarry belong to