Comparison of Palo Alto Networks next-generation firewall technology with proxies.