The theory of convex geometries