Counterexample-Guided Learning of Monotonic Neural Networks