Republicans formally nominate President Donald Trump for re-election bid with in-person roll call vote