A computational analysis of alternative algorithms and labeling techniques for finding shortest path trees