How has public international law contributed to international trade law?