A cluster formation protocol for cognitive radio ad hoc networks