The theory of international trade, with some of its applications to economic policy