Market capitalization of top 10 GCC oil, gas and petroleum companies over US$70 billion