Hvem etterfulgte Per Ditlev-Simonsen (H) som ordfører i Oslo?