Text this: Knowledge and experiences of mineworkers on the prevention of HIV/AIDS in a mining community of Ghana