The Impact of Islamist Terrorism on Africa's Informal Economy: Kenya, Compared with Ghana and Senegal