HIV Surveillance and Research for Migrant Populations: Protocol Integrating Respondent-Driven Sampling, Case Finding, and Medicolegal Services for Venezuelans Living in Colombia