Provable Editing of Deep Neural Networks using Parametric Linear Relaxation