NNrepair: Constraint-based Repair of Neural Network Classifiers