Industry Specialization, Diversity and the Efficiency of Regional Innovation Systems