Is Vertex Pharmaceuticals Exposed to Drug Pricing Risks?