Analytical model for task offloading in a fog computing system with batch-size-dependent service