Australia-Indonesia BIT, Indonesia-United Kingdom BIT