The Microstructure of Financial Derivatives Markets: Exchange-Traded versus Over-the-Counter