Are healthcare workers at higher risk of HIV infection than the general population in Burkina Faso?