Selecting appropriate HIV serology assays and assessing the level of shared false-reactivity to optimize HIV testing strategies and algorithms: a verification study