How many people of Somali ethnicity live in Somalia?