These come from the definition of var Sell in Figure 16-3 (file
iocol2.mod). The model has already defined an objective and a collection of constraints:
maximize Net_Profit;
subject to Balance {i in MAT}: to_come = 0;
obj Net_Profit revenue[i] says that in the objective Net_Profit, the variable Sell[i] has the coefficient revenue[i]. Thus a term revenue[i] * Sell[i] is added to the expression for the objective function.
coeff Balance[i] -1 says that in the constraint Balance[i], the variable Sell[i] has the coefficient -1. Thus the term -1 * Sell[i] is added on the left-hand side of the expression for the constraint Balance[i]. (It is added on the left because that is where "to_come" appears in the definition of Balance.)