Introducing Curvature into Globally Optimal Image Segmentation: Minimum Ratio Cycles on Product Graphs