Should 'robot' umpires be used in baseball?