Agent-based modelling and analysis of security and efficiency in airport terminals