Explainability in Practice: Estimating Electrification Rates from Mobile Phone Data in Senegal