Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets