add support for MINLP through JuMP