Cost-effectiveness of implementing HIV and HIV/syphilis dual testing among key populations in Viet Nam: a modelling analysis