finished strongly connected components algorithm