Export behaviour with differentiated products: exports of Korea, Taiwan and Japan to the US domestic market