Gravar-mail: A grammar-based distance metric enables fast and accurate clustering of large sets of 16S sequences