HIV Synthesis Model used to explore impact and cost effectiveness of female sex worker programs in Africa