Progressing towards a Cosmopolitan Condition: Kant's Ideal for the formal unity of international law