On the convergence and optimality of the firefly algorithm for opportunistic spectrum access