Facebook's advertising system unveils pacing algorithms.