Randomized leader election