On the measurement of product variety in trade (The World Bank, Development Research Group, 2004)