Graph Separators, with Applications