Mathematical Models for Air Traffic Conflict and Collision Probability Estimation