A Model-Based Fault Diagnosis System for Unmanned Aerial Vehicles