Universal distribution of batch completion times and time-cost tradeoff in a production line with arbitrary buffer size.