A Differential Game Formulation of Alert Levels in ETMS Data for High Altitude Traffic