Text this: Impact of temporal and spatial variability of solar resource on technical sizing of isolated solar installations in Senegal using satellite data