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