The meaning and measurement of product differentiation in international trade