The efficiency of monopolistically competitive equilibria in large economies: Commodity differentiation with gross substitutes