Which of the following is used by an IS-IS router to detect other IS-IS neighbor routers and to form adjacencies?