How many countries were included in the 2008 HDI?