Republican party formally nominates Donald Trump as presidential candidate