Refinery-planning with Gemms and PlanStar: Linear Programming applied to mixed-integer and nonlinear models