An algorithm to mine (frequent) closed numerical patterns and their generators (convex hulls)