US Republicans formally nominate Trump for president