Vertex Pharmaceutical uses MicroStrategy as a one-stop shop for business intelligence