When was the second pitcher to reach 3000 strikeouts elected to the Baseball Hall of Fame?