auto_leader_switch_interval|V4.2.5|OceanBase Database|docs|OceanBase Documentations