Translating Traffic Engineering outcome into Segment Routing paths: The Encoding problem