Oil and gas industry in Brunei