Republicans formally nominate Trump for US presidency