The Use of Precedent and External Case Law by the International Court of Justice and the International Tribunal for the Law of the Sea