Simplifying Neural Networks Using Formal Verification