Gravar-mail: Trade-offs between microbiome diversity and productivity in a stratified microbial mat