Has the pitch count done anything for baseball?