The Size of Human Capital Externalities: Cross-Country Evidence