planar separator theorem