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