Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing