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