Constructing sociodemographic indicators for national statistical institutes by using mobile phone data: estimating literacy rates in Senegal