Gulf Bank selects SEDCO solutions to upgrade to virtual queuing