A rate-compatible sphere-packing analysis of feedback coding with limited retransmissions.