Taming Binarized Neural Networks and Mixed-Integer Programs