Gulf International Bank reports first half profit of US$50.2 million