Resource allocation for cognitive radio networks with a beamforming user selection strategy