A benchmark for fault tolerant flight control evaluation