Paxos Implementation with AKKA model