The Republican Party formally nominates Donald Trump for president of the United States, capping a roller-coaster campaign that saw the billionaire tycoon defeat 16 White House rivals.