The Intensive Margin in Trade: How Big and How Important? | Synapse