Opinions on Fortinet vs Palo Alto for 20+ Gbit firewalls?