Reference: Pacing, the core algorithm of Facebook's advertising system