Automation of the umpire: “banking on umpires missing some pitches is a fundamental part of how pitchers have strategized for over a century”