Goodput Maximization in Opportunistic Spectrum Access Radio Links with Imperfect Spectrum Sensing and FEC-based Packet Protection