add paxos introduction