Modeling and Validating the Performance of Atomic Broadcast Algorithms in High Latency Networks