Distributed Repair of Deep Neural Networks