update example for minlp through JuMP