Global Optimization with Non-Convex Constraints