Gulf International Bank named Best Sukuk Arranger