By How Much Did Vertex’s Revenue and Earnings Miss in 1Q16?