​_______________ are a class of mathematical models used when decision makers seek to optimize some objective function subject to some constraints.