Soft-Fault Diagnosis of Analog Circuit with Tolerance Using Mathematical Programming