A high-resolution gridded dataset to assess electrification in sub-Saharan Africa