It’s official: Jubilant delegates nominate Trump for president as he announces Vance as running mate