Optimal aircraft collision avoidance