Olsen to succeed Gjedrem at Norges Bank