Gravar-mail: Compositional knockoff filter for high-dimensional regression analysis of microbiome data