Lagos is set to overtake Nairobi as Africa’s startup capital