Woodside gas deal could redraw Australia-East Timor borders