Should MLB use a pitch clock to speed up games?