Modeling for spectrum handoff based on secondary users with different priorities in cognitive radio networks.