Etkinlik modellemesinde stokastik sınır analizi ve kategorik veri zarflama analizi: Havayolu şirketleri uygulaması