An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps