Budget Constraints and Optimization in Sponsored Search Auctions