On the Complexity of a Self-Stabilizing Spanning Tree Algorithm for Large Scale Systems