Accelerating Mathematical Optimization with Artificial Intelligence