Computing Optimality Certificates for Convex Mixed-Integer Nonlinear Problems - BizPub.ai