Distributed and Scalable Simulation of ATM Exchanges