In how many years, is the value added by the industrial sector to the total GDP in Brunei Darussalam greater than the average value added by the industrial sector to the total GDP in Brunei Darussalam taken over all years ?