On the exploitation of OFDMA properties for an efficient alert message flooding in VANETs