Patent pools, vertical integration, and downstream competition