Diamondbacks Name Mike Butcher Pitching Coach