Paxos Algorithm Overview