Comparing two binary diagnostic tests in the presence of verification bias