Australia’s gas export industry