Is the sum of the number of enrolments in secondary schools in Sao Tome and Principe in 2011 and 2012 greater than the maximum number of enrolments in secondary schools in Sri Lanka across all years ?