Professional diversity and the productivity of cities