工业属于城市产业类型中的（）。