U.S. liquefied natural gas exports quadrupled in 2017