Commission president: EU summit strikes deal on von der Leyen for commission chief