The Concept and Measurement of Regional Industrial Diversification