Why Mixing Samples Finds Positives in Fewer Tests: The Mathematics of Group Testing and Combinatorial Search