Mathematical programs with a two-dimensional reverse convex constraint