The README.md starts with "Language-independent Synthesis of Firewall Policies" Please add one or two sentences what the synthesis of firewall policies is useful for