Optimization examples in Julia JuMP