Aramco set to boost oil output to 13 million barrels a day