Economic diversification in the Gulf: time to redouble efforts