HA with ZooKeeper: leader election