OceanBase 支持多副本机制（如 Paxos 协议），请描述主副本（Leader）选举的过程，以及当 Leader 宕机后系统如何保证数据一致性和服务连续性？

[aibot]

1. OceanBase 支持多副本机制（如 Paxos 协议），请描述主副本（Leader）选举的过程，以及当 Leader 宕机后系统如何保证数据一致性和服务连续性？