Segment routing over IPv6 and OSPFv3