Gravar-mail: Challenges in achieving a target international normalized ratio for deep vein thrombosis among HIV-infected patients with tuberculosis: a case series