Revenue maximizing envy-free multi-unit auctions with budgets