Agent-based modelling and simulation of airport security