Trump taps J.D. Vance to be his vice president