Deep neural networks and mixed integer linear optimization