Trump-Vance formally nominated as Republican presidential ticket