strongly connected components two pass algorithm