added algorithm description for paxos.elr