Which neighbor-discovery message type is used to verify connectivity to a neighbor when the linklayer address of the neighbor is known?