International trade and US productivity