Path encoding in segment routing