A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols