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