Gravar-mail: Condom availability in high risk places and condom use: a study at district level in Kenya, Tanzania and Zambia