pyomo abstract vs concrete model