Vertex Names Jeff Leiden as New CEO, Staring Down Tough New Competition