An Efficient Randomized Algorithm for Input-Queued Switch Scheduling