Efficient randomized algorithms for input-queued switch scheduling