Trump formally renominated by Republicans as convention gets under way – live