Vertical Product Differentiation and Credence Goods: Mandatory Labeling and Gains from International Integration.