Theory-based demarcation of hot spring microbial mat species from large DNA sequence datasets