Flexible US shale industry is changing world gas trade