External memory graph traversal