Ported (but not used) convex_hull()