Human cognition modelling in Air Traffic Management safety assessment