Gulf International Bank B.S.C. reports nine months profit of $86.1 million