convex_hull: use elimination based convex hull for unbounded polyhedra