How the Pitch Timer ticks. A behind-the-scenes look at baseball’s new rule.