Industrial development and diversification of the Arabian Gulf economies /