Japanese industrial policy and trade policy in the high-growth era