Pitch timers, disengagements, and the other new MLB rules, explained