Paxos protocol in Akka