Understanding the simulation of mobility models with Palm calculus