Por que as ações da Vertex Pharmaceuticals estão subindo hoje?