Airline schedule buffers and flight delays: A discrete model