added the high availability doc