Does the Diversity of Human Capital Increase GDP? A Comparison of Education Systems