Permian Basin oil output seen doubling to 8 million barrels in four years, boosting US exports