Airline mitigation of propagated delays via schedule buffers: Theory and empirics