Lessons for Africa’s infrastructure leap