Product variety: The intensive vs. extensive margins of efficiency