Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach