A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks