Revenue maximization when bidders have budgets | Synapse