Extractive industries and regional diversification: A multidimensional framework for diversification in mining regions. (September 2022)