Optimization of Case Definitions for Sensitivity as a Preventive Strategy—A Modelling Exemplified with Rapid Diagnostic Test-Based Prevention of Sexual HIV Transmission