Donald Trump formally named Republican presidential nominee