An empirically grounded agent-based model for modeling directs, conflict detection and resolution operations in Air Traffic management