Gulf oil exports 100 million barrels above market estimates, traders say