add monotone convex hull algo, tests