Methods and models of operations research