Modelling and analysis of dynamic relations and trade-offs between security and efficiency in airport security operations