Vertical Differentiation and Credence Goods: Harmonized Labeling and Gains from International Integration