Nigeria: Lagos built a night economy before it built a nighttime city