Solving AC Optimal Power Flow with Discrete Decisions to Global Optimality - BizPub.ai