donald trump formally announces indiana gov. mike pence as vp pick