In how many years, is the value added by the industrial sector to the total GDP in Sao Tome and Principe greater than the average value added by the industrial sector to the total GDP in Sao Tome and Principe taken over all years ?