Sukuk in the Gulf Cooperation Council Countries: Selected case studies