Ecology of hot spring microbial mats: Diversity, microheterogeneity, and biogeography