Set-Membership Estimation for Fault Diagnosis of Nonlinear Systems