Sequential differential optimization of incremental redundancy transmission lengths: An example with tail-biting convolutional codes.