Agent-Based Approach to Air-Traffic Modeling, Simulation and Collision Avoidance