Optimal cognitive transmission exploiting redundancy in the primary ARQ process