Scalability Analysis of Cloud-Based Distributed Simulations of IoT Systems Using HLA