Program to find strongly connected components in a graph using Tarjan's algorithm.