Graph separators, with applications