Donald Trump is officially Republican presidential nominee, JD Vance his running mate