Application by domestic courts of international law