Gravar-mail: Computation of Traffic Time Series for Large Populations of IoT Devices