Services, informality and productivity in Africa