Segment Routing: a Comprehensive Survey of Research Activities, Standardization Efforts and Implementation Results