¿Qué país árabe fue durante muchos años el mayor productor mundial de petróleo?