Gulf International Bank appoints Adel al-Mangour as managing director