The effect of ADC vertical resolution on the performance of an energy detection algorithm in cognitive radios