The huge-scale real-time auctions that power the Google profit machine