Automating Configuration Troubleshooting with ConfAid