Intra-industry trade: The theory and measurement of international trade in differentiated products