Constraint Learning by Optimizing over Trained Neural Networks: A Pragmatic Tutorial