Text this: Minimum requirements and optimal testing strategies of a diagnostic test for leprosy as a tool towards zero transmission: A modeling study.