Top-down actors enabling bottom-up, community practice in urban planning and infrastructure development: the Lagos case study