Integer programming for combinatorial auction winner determination | Synapse