NBC News: Trump picks Ohio Sen. JD Vance for vice president