Interindustry and intra-industry specialization do occur in world trade