How Developers use Premium Proxies