Hi everyone, I want to understand how alertmanager delivers notifications in HA mode. Is it using any leader election algo?