Greiner-Hormann polygon clipping