An fault tolerant airline reservation system using paxos