proof-of-concept JuMP functions defined in CPLEX