document JuMP interface