A Model-Based Fault Diagnosis System for a Mini-Quadrotor