Tarjan's algorithm for Strongly Connected Components