Is Zimmermann the best pitcher in baseball?