Occupational Variety and Economic Development