The Quest for Scalability and Accuracy: Multi-Level Simulation of the Internet of Things