How should MLB use the designated hitter?