Headcount at ​Vertex surges in 2016, hitting four-year high