Human development index-like small area estimates for Africa computed from IPUMS-integrated census microdata