UK: Johnson greets EU chief von der Leyen ahead of Brexit talks