Scaling mixed-integer programming for certification of neural network controllers using bounds tightening