Header Bidding: Definition, how it works, and why it matters for publishers