"normal values to establish dumping margins is a comparison of the weighted average export price with" . . . .