National HIV prevalence estimates for sub-Saharan Africa: controlling selection bias with Heckman-type selection models