Undirected single-source shortest paths with positive integer weights in linear time (Journal of the ACM, 1999)