New U.S. pipelines to double shale gas exports to more regions in Mexico: EIA