Job-shop scheduling with convex models of operations