万事达卡前CEO阿贾伊·班加正式出任世界银行行长。