What you need to know about this year’s hitters — and the pitchers they chose for their biggest moment. Tune in to the Home Run Derby at 8 p.m. ET on ESPN.