On the Performance of Dijkstra's Third Self-stabilizing Algorithm for Mutual Exclusion