Computing the outcome of proxy bidding in combinatorial auctions extended abstract