What is RGSP? Google’s Randomized Generalized Second-Price ad auctions explained