Angola holds state funeral for ex-president José Eduardo dos Santos