Planar graph algorithms