Graph Separator Algorithms A Refined Analysis