Diversification in urban functions as a measure of metropolitan complexity. (September 2020)