First Gulf Bank selects Temenos’ banking solution