Electrification data (and digital tools) in Nigeria