renamed variables for verbosity; added support for more items than bidders so benefits matrix need not be square