Fault Tolerant Flight Control: A Benchmark Challenge