When you configure Firefox to point to an HTTP proxy and a SOCKS proxy, how does Firefox know which to use?